$\forall$$n$, $m$:$\mathbb{N}$, $f$, $g$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$$\rightarrow\mathbb{N}$$_{\mbox{\scriptsize $<$$m$}}$$\rightarrow\mathbb{Z}$).
\\[0ex]($\forall$$x$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$n$}}$, $y$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$m$}}$. $f$($x$,$y$) $=$ $g$($x$,$y$))
\\[0ex]$\Rightarrow$ sum($f$($x$,$y$) $\mid$ $x$ $<$ $n$; $y$ $<$ $m$) $=$ sum($g$($x$,$y$) $\mid$ $x$ $<$ $n$; $y$ $<$ $m$) $\in$ $\mathbb{Z}$